NATIONAL UNIVERSITY OF SINGAPORE School of Computing PH.D DEFENCE - PUBLIC SEMINAR
نویسندگان
چکیده
This thesis aims to address a number of program reasoning problems faced every day by programmers, using the technique of symbolic execution. Symbolic execution has the advantage of avoiding "infeasible" paths in the program (paths that cannot be exercised for any input), exploring which could provide spurious information about the program and mislead the programmer. However, as symbolic execution considers the feasibility of individual paths, the number of which could be exponential in general, it suffers from path explosion. To tackle this, we make use of the technique of "interpolation". Using this, we make significant contributions to the areas of program slicing, verification, concolic testing and trace comprehension. Our breakthroughs in the area of slicing include formulating the most precise slicing algorithm and the novel notion of "tree slicing". We introduce the concept of "speculation" which, for the first time, brings the exponential benefits of interpolation to concolic testing and improves the performance of interpolation-based verifiers. We also make strides in the understanding and explanation of execution traces using interpolants and loop invariant discovery. Powered by TCPDF (www.tcpdf.org)
منابع مشابه
NATIONAL UNIVERSITY OF SINGAPORE School of Computing PH.D DEFENCE - PUBLIC SEMINAR
Automatic Speech Recognition (ASR) has been one of the most popular research areas in computer science. Many state-of-the-art ASR systems still use the Hidden Markov Model (HMM) for acoustic modelling due to its efficient training and decoding. HMM state output probability of an observation is assumed to be independent of the other states and the surrounding observations. Since temporal correla...
متن کاملNational Health Service Principles as Experienced by Vulnerable London Migrants in “Austerity Britain”: A Qualitative Study of Rights, Entitlements, and Civil-Society Advocacy
Background Recent British National Health Service (NHS) reforms, in response to austerity and alleged ‘health tourism,’ could impose additional barriers to healthcare access for non-European Economic Area (EEA) migrants. This study explores policy reform challenges and implications, using excerpts from the perspectives of non-EEA migrants and health advocates in London. Methods A qualitative ...
متن کاملNATIONAL UNIVERSITY OF SINGAPORE School of Computing PH.D DEFENCE - PUBLIC SEMINAR
Mobile apps have become commonplace in society. But with millions of apps flooding the app stores, recommender systems have become indispensable tools as they help consumers overcome the problem of information overload. By sifting through the ocean of apps, they allow consumers to discover new and compelling apps through personalized recommendations. Yet, conventional recommender systems have t...
متن کاملNATIONAL UNIVERSITY OF SINGAPORE School of Computing PH.D DEFENCE - PUBLIC SEMINAR Title: Using Meta-Data from Free-Text User-Generated Content to Improve Personalized Recommendation by Reducing Sparsity Speaker: Mr
Recommender Systems (RS) have become increasingly essential in many domains for alleviating the "information overload" problem, but existing recommendation techniques suffer from the sparsity problem due to insufficient input data. In this thesis, we aim at extracting and incorporating meta-data from free-text UserGenerated Content (UGC) to lessen the effects of sparsity and therefore improve t...
متن کاملA framework for stakeholder oriented mindfulness: case of RFID implementation at YCH Group, Singapore
Department of Decision Sciences, School of Business, National University of Singapore, Singapore; Department of Information Systems, School of Computing, National University of Singapore, Singapore; Department of Operations Management and Information Technology, HEC School of Management, Paris; Department of Information and Decision Sciences, University of Illinois at Chicago, Chicago, IL, U.S....
متن کامل